Model Experiments on Trawl Nets

mortality forecasting based on lee-carter model

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...

Desequentialization of Games and Experiments on Proof-nets

We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. We carefully analyze Laurent’s polarized proof-nets (which for the game semantics is full and faithful [8]) and we detail the precise correspondence between cut free proof-nets and innocent strategies, in a framework r...

Obsessional Experiments For Linear Logic Proof-Nets

Experiments with Associative-Commutative Discrimination Nets

In [1], we proposed AC-discrimination nets to speed up many-to-one AC-matching. We also proposed secondary automata as a novel data structure to further improve the performance of ACmatching on problems typically arising in practice. In this paper, we present the implementation of AC-discrimination nets within an equational theorem proving system. The implementation exploits the fact that altho...

Electronic Monitoring of Seabird Interactions with Trawl Third-wire Cables on Trawl Vessels - A Pilot Study

Archipelago Marine Research Ltd. was selected by the Alaska Fisheries Science Center to test electronic monitoring (EM) equipment for possible use to examine seabird interactions with trawl third-wire cables on trawl vessels. This pilot study involved field testing of EM systems on shoreside delivery and head and gut bottom trawl vessels conducting operations in the Bering Sea, U.S. Exclusive E...